-
1 inconsistent class
Математика: противоречивый класс -
2 inconsistent class
мат. -
3 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
4 противоречивый класс
Большой англо-русский и русско-английский словарь > противоречивый класс
-
5 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
6 level
1. n одинаковый уровень2. n ступень, степень; уровеньto rise to higher levels — подниматься на более высокую ступень, достигать более высокого уровня
no-observed level — уровень, не вызывающий видимого эффекта
linguistic level — языковый уровень; лингвистический уровень
3. n плоскость, ровная горизонтальная поверхность; горизонтальная линия4. n равнина5. n горизонтальное положение6. n редк. поверхность Земли7. n уровень; ватерпас; нивелир8. n измерение уровня нивелиром9. n ряд10. n горн. этаж, горизонт11. n горн. горизонтальная выработка, штольня12. n горн. дренажная труба или канава13. n горн. ав. горизонтальный полёт14. n горн. радио уровень15. n горн. уст. прицеливаниеis it on the level? — это правда?;
16. a ровный; плоский; горизонтальныйlevel stretch — ровный участок, ровная местность
level route — маршрут, проходящий по ровной местности
17. a находящийся на одном уровнеin the spring the rivers are often level with their bank — весной реки часто поднимаются до самых берегов
18. a кул. без верха19. a равный, одинаковый; ровный, равномерныйlevel life — размеренная, спокойная жизнь
20. a уравновешенный; спокойный; ровный21. adv ровно; вровень; наравне22. v выравнивать, делать ровным, гладким23. v приводить в горизонтальное положение24. v наводить, нацеливать; направлять25. v направлять, бросать26. v сровнять с землёй; полностью уничтожитьlevel off — выровнять, сровнять
my level best — все; что в моих силах
27. v редк. сбить с ног; свалить на землю28. v нивелировать, уравнивать, сглаживать различияrun a level — нивелировал; нивелированный
29. v геод. определять разность высот, нивелировать30. v лингв. сводить два или несколько звуков к одному31. v сл. говорить правду; быть откровенным или честнымon the level — честно; правдиво
Синонимический ряд:1. aligned (adj.) aligned; balanced; horizontal; matched2. equal (adj.) equal; equivalent; on a par3. flat (adj.) commensurate; equable; even; flat; flush; plain; planate; plane; proportional; smooth; straight; uniform4. altitude (noun) altitude; elevation; height5. amount (noun) amount; degree; measure; quantity6. class (noun) class; stage; standing; status7. layer (noun) layer; plane; story; tier8. step (noun) grade; notch; peg; rung; step9. align (verb) align; smooth; surface10. destroy (verb) demolish; destroy; dismantle; flatten; knock down; pull down; pulverise; raze; tear down; topple; wreck11. direct (verb) address; aim; cast; direct; guide; head; incline; point; position; present; set; sight; train; turn; zero in12. even (verb) equal; equalise; equalize; equate; even; flatten; flush; grade; lay; plane; press; smoothen; square13. fell (verb) bowl down; bowl over; bring down; cut down; deck; down; drop; fell; floor; ground; knock over; lay low; mow down; prostrate; throw; throw down; tumble14. plane (verb) flatten; planeАнтонимический ряд:broken; build; declivity; dishonest; furrow; graduate; hilly; inconsistent; inequality; irregular; leaning; perpendicular; plumb; rough; rugged; uneven -
7 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
8 equation
- approximate equationequation of time — уравнение для определения разности между кажущимся и средним солнечным временем
- behavioral equation
- Benjamen-Ono equation
- Benny-Roskes-Davey-Stewartson equation
- Bethe-Salpeter equation
- biquadratic equation
- Boltzmann equation
- Boolean equation
- Boussinesq equation
- branch equation
- canonical equation
- characteristic equation
- charge-transport equation
- Child-Langmuir equation
- Child-Langmuir-Schottky equation
- chiral field equation
- chord equation
- class equation
- color equation
- consistent equations
- constraint equation
- continuity equation
- cubic equation
- cut-set equation
- design equation
- difference equation
- differential equation
- differential equation of n-th order
- diffusion equation
- diode equation
- Diophantine equations
- Dirac equation
- discretized equation
- drift equation
- Duffing equation
- eigenvalue equation
- eikonal equation
- electromagnetic field equations
- elliptic equation
- envelope equation
- equilibrium equation
- estimator-defining equation
- estimator-generating equation
- Euler equation
- evolutionary equation
- exactly identified equation
- exactly integrated equation
- finite-difference equation
- fluid equation
- Fokker-Planck equation
- Fredholm integral equation
- free-space radar equation
- function equation
- fuzzy equation
- Gelfand-Levitan equation
- Hill equation
- Hirota equation
- homogeneous equation
- hyperbolic equation
- identical equation
- inconsistent equations
- integer equation
- integrable equation
- integral equation
- integral equation of n-th kind
- integro-differential equation
- interpolation equation
- Josephson equation
- Kadomtsev-Petviashvili equation
- kinetic equation
- Korteweg-deVries equation
- Kuramoto-Sivashinsky equation
- Landau-Lifschitz equation
- Langevine's equation
- Laplace equation
- Lax equation
- likelihood equations
- linear equation
- linearized equation
- logic equation
- logistic equation
- Londons' equations
- Lorentz equation
- Lorentz force equation
- Lorentz equation
- Lorentz-Abragam force equation
- Lotka-Volterra equation
- mass-energy equation
- Mathieu equation
- matrix equation
- Maxwell's equations
- micromagnetic equation
- moment equations
- motion equation
- non-integrable equation
- nonlinear equation
- nonlinear Schrödinger equation
- normal equations
- numerical equation
- one-fluid equation
- operator equation
- over-identified equation
- parabolic equation
- parametric equation
- partial differential equation
- path equation
- Poisson's equation
- quadratic equation
- quartic equation
- quintic equation
- radar range equation
- Rayleigh equation
- recurrence equations
- register-transfer equation
- regression equation
- resolvent equation
- response equation
- Richardson equation
- scalar equation
- Schrödinger equation
- secular equation
- Sellmeier equation
- simultaneous equations
- sin-Gordon equation
- solvable equation
- stationary Schrödinger equation
- steady-state equation
- syntax equation
- telegrapher's equation
- tensor equation
- three-halves power equation
- transient equation
- transport equation
- trend equation
- trigonometric equation
- unsolvable equation
- unstable wave envelope equation
- van der Pol equation
- variational equation
- vector equation
- wave equation
- Yule-Walker equations
- Zakharov equation -
9 equation
- approximate equationequation of time — уравнение для определения разности между кажущимся и средним солнечным временем
- behavioral equation
- Benjamen-Ono equation
- Benny-Roskes-Davey-Stewartson equation
- Bethe-Salpeter equation
- biquadratic equation
- Boltzmann equation
- Boolean equation
- Boussinesq equation
- branch equation
- canonical equation
- characteristic equation
- charge-transport equation
- Child-Langmuir equation
- Child-Langmuir-Schottky equation
- chiral field equation
- chord equation
- class equation
- color equation
- consistent equations
- constraint equation
- continuity equation
- cubic equation
- cut-set equation
- design equation
- difference equation
- differential equation of n-th order
- differential equation
- diffusion equation
- diode equation
- Diophantine equations
- Dirac equation
- discretized equation
- drift equation
- Duffing equation
- eigenvalue equation
- eikonal equation
- electromagnetic field equations
- elliptic equation
- envelope equation
- equilibrium equation
- estimator-defining equation
- estimator-generating equation
- Euler equation
- evolutionary equation
- exactly identified equation
- exactly integrated equation
- finite-difference equation
- fluid equation
- Fokker-Planck equation
- Fredholm integral equation
- free-space radar equation
- function equation
- fuzzy equation
- Gelfand-Levitan equation
- Hill equation
- Hirota equation
- homogeneous equation
- hyperbolic equation
- identical equation
- inconsistent equations
- integer equation
- integrable equation
- integral equation of n-th kind
- integral equation
- integro-differential equation
- interpolation equation
- Josephson equation
- Kadomtsev-Petviashvili equation
- kinetic equation
- Korteweg-deVries equation
- Kuramoto-Sivashinsky equation
- Landau-Lifschitz equation
- Langevine's equation
- Laplace equation
- Lax equation
- likelihood equations
- linear equation
- linearized equation
- logic equation
- logistic equation
- Londons' equations
- Lorentz equation
- Lorentz force equation
- Lorentz-Abragam force equation
- Lotka-Volterra equation
- mass-energy equation
- Mathieu equation
- matrix equation
- Maxwell's equations
- micromagnetic equation
- moment equations
- motion equation
- non-integrable equation
- nonlinear equation
- nonlinear Schrödinger equation
- normal equations
- numerical equation
- one-fluid equation
- operator equation
- over-identified equation
- parabolic equation
- parametric equation
- partial differential equation
- path equation
- Poisson's equation
- quadratic equation
- quartic equation
- quintic equation
- radar range equation
- Rayleigh equation
- recurrence equations
- register-transfer equation
- regression equation
- resolvent equation
- response equation
- Richardson equation
- scalar equation
- Schrödinger equation
- secular equation
- Sellmeier equation
- simultaneous equations
- sin-Gordon equation
- solvable equation
- stationary Schrödinger equation
- steady-state equation
- syntax equation
- telegrapher's equation
- tensor equation
- three-halves power equation
- transient equation
- transport equation
- trend equation
- trigonometric equation
- unsolvable equation
- unstable wave envelope equation
- van der Pol equation
- variational equation
- vector equation
- wave equation
- Yule-Walker equations
- Zakharov equationThe New English-Russian Dictionary of Radio-electronics > equation
-
10 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
class action — n: an action in which a representative plaintiff sues or a representative defendant is sued on behalf of a class of plaintiffs or defendants who have the same interests in the litigation as their representative and whose rights or liabilities can … Law dictionary
Class action — This article is about the legal term. For names of various art works, see Class Action (disambiguation). Civil procedure in the United States Federal Rules of Civil Procedure Doctrines of civil procedure Jurisdiction Subject matter jurisdiction… … Wikipedia
Class (set theory) — In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) which can be unambiguously defined by a property that all its members share. The precise definition of class… … Wikipedia
Elementary class — In the branch of mathematical logic called model theory, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first order theory. Contents 1 Definition 2 Conflicting and alternative terminology … Wikipedia
Noun class — Grammatical categories Animacy Aspect Case Clusivity Definiteness Degree of comparison Evidentiality Focus … Wikipedia
Mississippi class battleship — USS Mississippi Class overview Name: Mississippi class battleship O … Wikipedia
Danube class starship — Danube class The USS Yangtzee Kiang, a Danube class runabout First appearance Emissary Affiliation United Federation of Planets Starfleet … Wikipedia
Littorio class battleship — The Littorio (or Vittorio Veneto ; the two ships were laid down on the same date) was a class of battleship of the Regia Marina, the Italian navy, the most modern used by Italy during World War II. The Littorios were developed in response to the… … Wikipedia
Windsor class attack transport — The Windsor class attack transport was a class of US Navy attack transport. Ships of the class saw service in World War II.Like all attack transports, the purpose of the Windsor s was to transport troops and their equipment to foreign shores in… … Wikipedia
Sovereign class starship — Infobox Fictional Spacecraft name = Sovereign class caption = The Sovereign class starship USS Enterprise E in First Contact first = last = Star Trek Nemesis affiliation = United Federation of Planets launched = approximately 2371 2373… … Wikipedia
USB mass storage device class — The USB mass storage device class or USB MSC or UMS is a set of computing communications protocols defined by the USB Implementers Forum that run on the Universal Serial Bus. The standard provides an interface to a variety of storage devices.Some … Wikipedia